$\forall$$x$:$\mathbb{B}$. if $x$ then tt else inr ($\lambda$$x$.$\cdot$)  fi  $\in$ Dec($\uparrow$$x$)